FOL: An object oriented extension to the SISAL Language (Extended Abstract)
نویسندگان
چکیده
This paper describes an improvement of the reusability model of the SISAL language. The study of the object oriented paradigm limits leads us to propose several extensions promoting a higher reusability scheme. The paper contains the description of the FOL language and of its translator to SISAL as well as insights in our future work on impure eeects.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملPracticing the Object Modeling Technology in a Functional Programming Framework
Object-oriented methodology has become an important approach to improving the quality of software and increasing the eeciency of its development. In this paper our aim is to show how the beneets of object-oriented methodologies can be realized within the framework of functional programming, achieving a more powerful level of modular program structure and avoiding introduction of the possibility...
متن کاملA Comparative and Contrastive Study on the Meaning Extension of Color Terms in Persian and English
We deal with a wide range of colors in our daily life. They are such ubiquitous phenomena that is hard and next to impossible to imagine even a single entity (be it an object, place, living creature, etc) devoid of them. They are like death and tax which nobody can dispense with. This omnipresence of colors around us has also made its way through abstract and less tangible entities via the inte...
متن کاملSecond-Order Principles in Specification Languages for Object-Oriented Programs
Within the setting of object-oriented program specification and verification, pointers and object references can be considered as relations between the elements of a data structure. When we specify properties of these data structures, we often describe properties of relations. Hence it is important to be able to talk about relations and their properties when specifying object-oriented programs ...
متن کاملObject-Oriented First-Order Logic
We wish to improve modeling in first-order logic (FOL) by using object-oriented tools. To this end, we describe Object-Oriented First-Order Logic (OOFOL), which is a simple extension of FOL. It does not surpass the expressive power of FOL, but it provides object-oriented tools to the knowledge engineer. In OOFOL, objects are theories that are connected via interface vocabularies to other object...
متن کامل